Speculative linearizability
نویسندگان
چکیده
منابع مشابه
Local Linearizability
Linearizability is the most accepted consistency condition used to describe the semantics of concurrent data structures. One of its benefits is its intuitive definition that is well understandable to system designers and programmers. However, linearizability is very strong and often linearizable implementations show unsatisfactory performance and scalability. To open up possibilities for more e...
متن کاملR-linearizability: an Extension of Linearizability to Replicated Objects
The paper extends linearizability, a consistency criterion for concurrent systems, to the replicated context , where availability and performance are enhanced by using redundant objects. The mode of operation on sets of replicas and the consistency criterion of R-linearizability are deened. An implementation of R-linearizable replicated atoms (on which only read and write operations are deened)...
متن کاملTesting for linearizability
Linearizability is a well-established correctness condition for concurrent datatypes. Informally, a concurrent datatype is linearizable if operation calls appear to have an effect, one at a time, in an order that is consistent with a sequential (specification) datatype, with each operation taking effect between the point at which it is called and when it returns. We present a testing framework ...
متن کاملLinearizability with Ownership Transfer
Linearizability is a commonly accepted notion of correctness for libraries ofconcurrent algorithms. Unfortunately, it assumes a complete isolation between a libraryand its client, with interactions limited to passing values of a given data type. This isinappropriate for common programming languages, where libraries and their clients cancommunicate via the heap, transferring the ...
متن کاملAsynchronous Resilient Linearizability
In this paper we address the problem of implementing a distributed data-structure that can tolerate (nonbyzantine) process failures in an asynchronous message passing system, while guaranteeing correctness (linearizability with respect to a given sequential specification) and resiliency (the operations are guaranteed to terminate, as long as a majority of the processes do not fail). We consider...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2345156.2254072